-
1 квантификация предиката
Philosophy: quantification of the predicateУниверсальный русско-английский словарь > квантификация предиката
-
2 квантификация предиката
предикат квантификациясыРусско-казахский терминологический словарь "Философия и политология" > квантификация предиката
-
3 квантификация
ж. мат. quantification -
4 квантификация
Русско-английский военно-политический словарь > квантификация
-
5 квантификация
Русско-английский словарь по информационным технологиям > квантификация
-
6 применяемость предиката
Русско-английский большой базовый словарь > применяемость предиката
-
7 quantification
English-Russian dictionary of Information technology > quantification
-
8 quantification
1. количественный анализ2. квантификацияThe English-Russian dictionary general scientific > quantification
-
9 choice predicate
English-Russian big polytechnic dictionary > choice predicate
-
10 negated predicate
English-Russian big polytechnic dictionary > negated predicate
-
11 sameness predicate
English-Russian big polytechnic dictionary > sameness predicate
-
12 исчисление предикатов
1. functional calculus2. predicate calculus3. predicative calculusРусско-английский большой базовый словарь > исчисление предикатов
-
13 язык основанный на логике предикатов
Русско-английский большой базовый словарь > язык основанный на логике предикатов
-
14 исчисление предикатов
-
15 логика предикатов
-
16 предикат
-
17 логика предикатов
Русско-английский новый политехнический словарь > логика предикатов
-
18 исчисление предикатов
Русско-английский военно-политический словарь > исчисление предикатов
-
19 исчисление предикатов
Русско-английский словарь по информационным технологиям > исчисление предикатов
-
20 quantification
сущ.
1) условие
2) определение количества Syn: clause, condition, circumstances, proviso, implication ( книжное) определение количества - * of the predicate( философское) квантификация предиката (специальное) квантование, перевод в количественную форму quantification количественное описание risk ~ количественное выражение рискаБольшой англо-русский и русско-английский словарь > quantification
- 1
- 2
См. также в других словарях:
КВАНТИФИКАЦИЯ ПРЕДИКАТА — операция уточнения объема предиката суждения (в смысле классич. аристотелевой логики) с помощью слов все и некоторые , основанная на истолковании связки есть как выражающей отношение тождества между, рассматриваемыми в суждении объемами субъекта… … Философская энциклопедия
КВАНТИФИКАЦИЯ — (от лат. quantum сколько и facio делаю), измерение качеств. признаков. Философский энциклопедический словарь. М.: Советская энциклопедия. Гл. редакция: Л. Ф. Ильичёв, П. Н. Федосеев, С. М. Ковалёв, В. Г. Панов. 1983 … Философская энциклопедия
Квантор — Квантор общее название для логических операций, ограничивающих область истинности какого либо предиката и создающих выcказывание. Чаще всего упоминают: Квантор всеобщности (обозначение: , читается: «для всех…», «для каждого…» или «каждый…» … Википедия
моделей теория — МОДЕЛЕЙ ТЕОРИЯ раздел математической логики, в котором изучаются фундаментальные связи между синтаксическими свойствами предложений формального языка и семантическими свойствами их моделей. Наиболее развитой является М. т. формул… … Энциклопедия эпистемологии и философии науки